Merging partial behavioural models
نویسندگان
چکیده
منابع مشابه
Merging Partial Behaviour Models with Different Vocabularies
Modal transition systems (MTSs) and their variants such as Disjunctive MTSs (DMTSs) have been extensively studied as a formalism for partial behaviour model specification. Their semantics is in terms of implementations, which are fully specified behaviour models in the form of Labelled Transition Systems. A natural operation for these models is that of merge, which should yield a partial model ...
متن کاملWeak Alphabet Merging of Partial Behaviour Models
Constructing comprehensive operational models of intended system behaviour is a complex and costly task, which can be mitigated by the construction of partial behaviour models, providing early feedback and subsequently elaborating them iteratively. However, how should partial behaviour models described by different stakeholders with different viewpoints covering different aspects of behaviour b...
متن کاملProperties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour decription such as scenario-based specifications, and focus on elaborating these descriptions iteratively. In previous work, we show how this process can be formally supported by Modal Transition Systems (MTSs), obse...
متن کاملPartial Behavioural Models for Requirements and Early Design
In this paper, we first motivate and summarize our recent work on creation, management, and specifically merging of partial behavioural models, expressed as model transition systems. We then address two issues coming out of MMOSS discussions: alphabet embedding as an alternative to common observational refinement and minimum refinement steps. We show that the former is not possible, and discuss...
متن کاملMerging Feature Models
In this paper, we consider the problem of merging feature models which consist of trees with "requires" and "excludes" constraints. For any two such feature models which are parent-compatible, their merge is defined to be the smallest parent-compatible feature model which has all products of the constituents. We show how the specification can be implemented, present a number of properties of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 2004
ISSN: 0163-5948
DOI: 10.1145/1041685.1029904